تغییر نام شهر شریفیه به «شریف آباد»